Cantor’s Little Theorem
نویسنده
چکیده
This article discusses two theorems of Georg Cantor: Cantor’s Little Theorem and Cantor’s Diagonal Theorem.These results are obtained by generalizing the method of proof ofthe well known Cantor’s theorem about the cardinalities of a setand its power set. As an application of these, Gödel’s firstincompleteness theorem is proved. Hints are given as to how to derive other deeper results including the existence of Parikh’s sentence.
منابع مشابه
Yet Another Proof of Cantor’s Theorem
We present various proofs of Cantor’s theorem in set theory: namely that the cardinality of the power set of a set X exceeds the cardinality of X, and in particular the continuum is uncountable. One of the proofs we present is inspired by Yablo’s non-self-referential Liar’s paradox, and it seems to bear a dual relationship to yet another proof.
متن کاملContinuous Images of Cantor's Ternary Set
The Hausdorff–Alexandroff Theorem states that any compact metric space is the continuous image of Cantor’s ternary set C. It is well known that there are compact Hausdorff spaces of cardinality equal to that of C that are not continuous images of Cantor’s ternary set. On the other hand, every compact countably infinite Hausdorff space is a continuous image of C. Here we present a compact counta...
متن کاملA Generalization to Cantor Series of Sondow’s Geometric Proof that e Is Irrational and His Measure of Its Irrationality
In 2006, Jonathan Sondow gave a nice geometric proof that e is irrational. Moreover, he said that a generalization of his construction may be used to prove the Cantor’s theorem. But, he didn’t do it in his paper, see [1]. So, this work will give a geometric proof to Cantor’s theorem using Sondow’s construction. After, it is given an irrationality measure to some Cantor series, for that, we gene...
متن کاملComplete Spaces
This paper is a continuation of [12]. First some definitions needed to formulate Cantor’s theorem on complete spaces and show several facts about them are introduced. Next section contains the proof of Cantor’s theorem and some properties of complete spaces resulting from this theorem. Moreover, countable compact spaces and proofs of auxiliary facts about them is defined. I also show the import...
متن کاملFrobenius kernel and Wedderburn's little theorem
We give a new proof of the well known Wedderburn's little theorem (1905) that a finite division ring is commutative. We apply the concept of Frobenius kernel in Frobenius representation theorem in finite group theory to build a proof.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006